prove arc length formula